Verifiable Transaction Atomicity for Electronic Payment Protocols
نویسنده
چکیده
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cause arbitrary failures. We present a new concept—verifiable transaction atomicity—for designing electronic payment protocols. We give formal specifications to the verifiable atomic commitment problem. Then we design a robust electronic currency system to meet the specifications and achieve the verifiable transaction atomicity.
منابع مشابه
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
Electronic payment systems play a vital role in modern business-to-consumer and businessto-business e-commerce. Atomicity, fault tolerance and security concerns form a problem domain of interdependent issues that are taken into account to assure the transaction guarantees of interest. We focus on the most notable payment transaction guarantees: money conservation, no double spending, goods atom...
متن کاملGeneration and Veriication of Heterogeneous Purchase Processes
Complex purchase protocols allow several participants (merchants and clients) to be involved within a single purchase transaction. Moreover, they provide the possibility to merge diierent heterogeneous payments into one atomic transaction. Although such complex purchases are urgently required, they are, so far, neither provided by existing protocols nor by available products or research prototy...
متن کاملBuilding Blocks for Atomicity in Electronic Commerce
Atomicity is clearly a central problem for electronic commerce protocols — we can not tolerate electronic commerce systems where money is arbitrarily created or destroyed. Moreover, these atomicity properties should be retained in the event of component failures in distributed systems. In this paper, we enumerate several classes of atomic protocols. We then give two fundamental building blocks ...
متن کاملGeneration and verification of heterogeneous purchase processes
Complex purchase protocols allow several participants (merchants and clients) to be involved within a single purchase transaction. Moreover, they provide the possibility to merge different heterogeneous payments into one atomic transaction. Although such complex purchases are urgently required, they are, so far, neither provided by existing protocols nor by available products or research protot...
متن کاملProperties of secure transaction protocols
Communication protocols are the computational basis for distributed electronic commerce systems, and thus the properties of these protocols deene the forms of commerce possible in electronic systems. Existing protocols used for electronic commerce focus primarily on security properties, including message integrity, privacy and non-repudiation, and on basic transaction properties, usually just a...
متن کامل